Maryland's Antique Constitutional Thorn

Antique Team

In this document, we use the Abstract Interpretation framework to analyze concurrent programs using Thread-Modular Analysis. We designed a relational abstraction of interferences in order to infer more properties and go beyond the state of the art. We implemented a basic analyzer, studying the numerical properties of a simple language. We present the results obtained, as well as a study of the ...

A deadly thorn prick

Infection is a leading cause of morbidity and mortality among haemodialysis patients. Some of the risk factors specific to this population include repeated access to the blood stream through venous cannulation for dialysis as well as a higher prevalent usage of prosthetic materials like haemodialysis catheters and arteriovenous grafts. In addition, defects in immunity and phagocytosis also cont...

Antique medical instruments

A thorn in the side of privacy: the need for reassessment of the constitutional right to abortion.

Digital Restoration for Antique Documents

Different advantages stem from the digital restoration of documents of high cultural value. In this paper different techniques to digital restoration of antique documents are reported. In particular, we address the problem of virtual restoration of photographic prints. We propose a classification of defects related to their origin presenting also some non linear techniques able to restore the m...